Inductive Reasoning and Chance Discovery

Lemma Discovery and Middle-Out Reasoning for Automated Inductive Proofs

Lemma speculation has long been considered a promising technique to automate the discovery of missing lemmas for inductive proofs. This technique involves speculating a schematic lemma that becomes incrementally instantiated by unification as the proof continues. This synthesis process is known as middle-out reasoning. We have extended lemma speculation, and more generally middle-out reasoning,...

Chance, design and discovery.

Inductive reasoning

Our aim is to explain a general theory of inductive reasoning which is close enough to the concerns of language studies. In this setup , the optimal prediction rate is assigned to the hypothesis considered most likely by a prior-free form of Bayesian inference. In terms of practical applications a most attractive form of this approach is embodied by the so-called minimum description length (MDL...

Inductive reasoning.

Inductive reasoning entails using existing knowledge or observations to make predictions about novel cases. We review recent findings in research on category-based induction as well as theoretical models of these results, including similarity-based models, connectionist networks, an account based on relevance theory, Bayesian models, and other mathematical models. A number of touchstone empiric...

Web Intelligence and Chance Discovery

Web Intelligence deals with the scientific research and development to explore the fundamental roles as well as practical impacts of soft computing and advanced intelligent paradigms for the next generation of Web-based systems, services, and environments. Chance discovery means discovering chances — the breaking points in systems, the marketing windows in business, etc. It involves determining...